\begin{tikzpicture}
\node (a) at (0,0){\{1,2,3,4\}--状态集;};
\node (b) at ([xshift=6em,yshift=-2em]a.south){其中:+(开始状态);-(结束状态)};
\node (c) at ([xshift=0em,yshift=-4em]a.south){\{a,b,c\}--字母表;};
\node(d) [align=center]at ([xshift=4em,yshift=-2em]c.south){$\delta(1, a)=2$--变换(或$\circledtext{1}   \stackrel{\mathbf{a}}{\longrightarrow}\circledtext{2})$;...};
\node(e) at ([xshift=4em,yshift=-2em]d.south){(表示1状态遇符号a变到2状态...);};
\end{tikzpicture}